Dict(
	[13, 15, 6, 7, 15, 1, 1, 16, 1, 1] => QQFieldElem[16//3, 0, 0, 0])